1. Algebraic structure theory of sequential machine
پدیدآورنده : HARTMANIS,J
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Applicable Algebra, Error - Correcting Codes, Combinatorics and Computer Algebra 4th International Conference,lechture notes in computer science
پدیدآورنده : Th. Beth, M.Clausen; Edited by G.Goos and J.Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Algebra - Data Processing - Congresses
رده :
QA
155
.
7
.
E4
A67
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen :
پدیدآورنده : edited by G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Informatique.,Langages formels.
![](/design/images/bookmore.png)
4. LECTURE NOTES IN COMPUTER SCIENCE
پدیدآورنده : J .HARTMANIS
موضوع :
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
5. LECTURE NOTES IN COMPUTER SCIENCE(weeded)
پدیدآورنده : J. HARTMANIS
کتابخانه: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
موضوع :
رده :
C
,
193
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Lecture notes in computer science, 1-100
پدیدآورنده : edited by G. Goos and J. Hartmanis
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Periodicals, Indexes ، Computers
رده :
QA
75
.
5
.
L4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Mathematical Foundations of Computer Science 1990
پدیدآورنده : Rovan, B.; editor by G.Goos and J. Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer Science - Mathematics - Congresses
رده :
QA
76
.
9
.
M35
S96
1660
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development,edited by G.Goos and J. Hartmanis
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)